Abstract state machines and high-level system design and analysis
نویسنده
چکیده
State Machines and High-Level System Design and Analysis A special issue of the TCS Journal, edited 2004 by Egon Borger, aDipartimento di Informatica, Universit a di Pisa, Via F. Buonarroti 2, I-56127 Pisa, Italy
منابع مشابه
Editorial 1 Abstract state machines and high - level system design and analysis 3
state machines and high-level system design and analysis 3
متن کاملHigh Level System Design and Analysis Using Abstract State Machines
We provide an introduction to a practical method for rigorous system development which has been used successfully, under industrial constraints, for design and analysis of complex hardware/software systems. The method allows one to start system development with a trustworthy high level system speci cation and to link such a \ground model" in a well documented and inspectable way through interme...
متن کاملUsing Abstract State Machines at Microsoft: A Case Study
Our goal is to provide a rigorous method, clear notation and convenient tool support for high-level system design and analysis. For this purpose we use abstract state machines (ASMs). Here we describe a particular case study: modeling a debugger of a stack based runtime environment. The study provides evidence for ASMs being a suitable tool for building executable models of software systems on ...
متن کاملTowards a Unified Analysis Methodology of HW/SW Systems based on Abstract State Machines: Modelling of Instruction Sets
In this paper we propose a novel approach to high-level analysis of HW/SW systems based on abstract state machines, a state-based specification method with a rigorous mathematical semantics. As a step in the direction of a comprehensive analysis methodology, we show how to model instruction sets and how to instrument such models in order to collect experimental data which are relevant for the e...
متن کاملThe Origins and the Development of the ASM Method for High Level System Design and Analysis
The research belonging to the Abstract State Machines approach to system design and analysis is surveyed and documented in an annotated ASM bibliography. The survey covers the period from 1984, when the idea for the concept of ASMs (under the name dynamic or evolving algebras or structures) appears for the first time in a foundational context, to the year 2001 where a mathematically well-founde...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Theor. Comput. Sci.
دوره 336 شماره
صفحات -
تاریخ انتشار 2005